types of relations in set theory